Padding was requested twice for separator menu items.
https://bugzilla.gnome.org/show_bug.cgi?id=666242
NULL);
if (wide_separators)
- min_height += separator_height + padding.top;
- else
- min_height += padding.top + padding.bottom;
-
- nat_height = min_height;
+ {
+ min_height += separator_height;
+ nat_height += separator_height;
+ }
}
accel_width = 0;
NULL);
if (wide_separators)
- min_height += separator_height + padding.top;
- else
- min_height += padding.top + padding.bottom;
-
- nat_height = min_height;
+ {
+ min_height += separator_height;
+ nat_height += separator_height;
+ }
}
if (minimum_size)